Nuprl Definition : data
11,40
postcript
pdf
data(
T
) ==
x
:Id
(
T
(
x
))
latex
Definitions
x
:
A
B
(
x
)
,
Id
,
f
(
a
)
FDL editor aliases
data
origin
(T(x)) (T(x)) B(x)